| 1. | The formal semantics of rt - z , based on the denotation semantics of z and timed csp , is a prerequisite for preciseness and mathematical rigour
Rt - z的语义基于z和timedcsp ，这是它具有正确性和数学严格性的基础。 |
| 2. | The discussion exploits rules to ascribe main uml elements with formal semantics in terms of functionally equivalent petri nets
本文提出的pbmum方法的基本思想是采用与uml具有同等功能的petri网的形式化语义规则去描述uml的主要元素。 |
| 3. | The disadvantage of it is lacking a formal semantics and difficult to apply , directly , mathematical techniques on uml models for system validation
但uml的缺点是难以直接用数学工具对uml模型进行检验，另外uml在语义方面也存在一些不足。 |
| 4. | This idea provided the foundation for the justification of the corresponding work flow functional requirement to the formal semantics by means of model examination
为使用模型检查方法来验证与形式化语义对应的工作流功能需求奠定了基础。 |
| 5. | At present , many organizations and individuals are engaged in the study of uml formal semantics . they attempt to influence the future of uml through the study of uml
目前，很多机构和个人都在从事uml的形式语义研究，他们试图通过对uml的研究来对uml的未来产生影响。 |
| 6. | Owl facilitates greater machine interpretability of web content than that supported by xml , rdf , and rdf schema by providing additional vocabulary along with formal semantics
Owl既提供了正式的语义，又提供了附加的词汇，所以比起xml 、 rdf和rdf schema ，对web内容实现了更好的机器互操作性。 |
| 7. | Developerworks , october 2005 : learn about skos the simple knowledge organization system , a recent semantic web standard for managing subject matter , and how you can use skos to integrate formal semantics with document content
” （ developerworks ， 2005年10月） ：学习skos （简单知识组织系统） ，管理主题问题的最新语义web标准，以及如何用skos把正式的语义与文档内容集成。 |
| 8. | The final formal semantics are more complicated than originally expected , and in fact took quite a different form than initially envisioned , but the informal semantics are clear and intuitive and will be outlined in part 2 of this article
最终正式的语义比原来所预料的要复杂得多，实际上它采用了一种与原先预想的完全不同的形式，但非正式的语义是清晰直观的，将在本文的第2部分概要地说明。 |
| 9. | The formal semantics of sql is the theoritical foundation of query rewriting , but there is no satisfying method to translate sql into a canonical form . in this paper , we propose a better formalizing method for sql which is more succinct
Sql的形式语义是查询重写研究的理论基础，本文在前人工作的基础上，提出了一种更加完善的形式化方法，不但消除了以往形式化方法的部分不足，而且从形式上也更为简洁、直观。 |
| 10. | ( 3 ) discusses the formal specifications for hardware formal design and presents the formal model of fcmhd ( formal computational model for hardware design ) and its formal semantics based on itl ( interval temporal logic )
作者以时段演算( durationcalculus ， dc )为工具对vhdl的子集进行了形式语义分析；通过分析vhdl和veriloghdl部分语句的形式语义，为硬件描述语言的分析、设计、编译提供了一个严格的理论基础和新的途径。 |
